cot^-1(√1 sinx √1-sinx